1. Logic for concurrency and synchronisation
Author: / edited by Ruy J.G.B. de Queiroz
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Proof theory,Modality (Logic),Parallel programming (Computer science)
Classification :
QA9
.
54
.
L64
2003
2. Logic for concurrency and synchronisation
Author: / edited by Ruy J.G.B. de Queiroz
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Proof theory,Modality (Logic),Parallel programming (Computer science),Electronic books. , local
Classification :
E-BOOK
3. Logic for concurrency and synchronisation[CD]
Author: / edited by Ruy J.G.B. de Queiroz
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Proof theory,Modality (Logic),Parallel programming (Computer science)
Classification :
CD1743-35
4. P-Prolog a parallel logic programming language
Author: Rong Yang
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
Classification :
QA
76
.
73
.
P12V36
1987
5. P-Prolog, a parallel logic programming language
Author: / Rong Yang
Library: Library of College of Science University of Tehran (Tehran)
Subject: P-Prolog (Computer program language),Parallel programming (Computer science),Logic programming
Classification :
QA
76
.
73
.
P12
Y36
1987
6. P-Prolog, a parallel logic programming language
Author: Yang, Rong
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
Classification :
QA
76
.
73
.
P12
.
Y36
1987
7. P-Prolog, a parallel logic programming language
Author: Yang, Rong.
Library: Central Library and Documentation Center (Kerman)
Subject: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
Classification :
QA
76
.
73
.
P12
Y36
1987
8. Parallel and distributed logic programming
Author: / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal.
Library: Library of College of Science University of Tehran (Tehran)
Subject: Parallel programming (Computer science),Electronic data processing,Logic programming.,Petri nets, -- Distributed processing,a04,a06,a08,a10
Classification :
QA76
.
642
.
B484
2006
9. Parallel and distributed logic programming
Author: / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Parallel programming (Computer science),Electronic data processing, Distributed processing,Logic programming,Petri nets
10. Parallel and distributed logic programming
Author: / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Parallel programming (Computer science),Electronic data processing- Distributed processing,Logic programming,Petri nets
Classification :
QA76
.
642
.
B484
2006
11. Parallel and distributed logic programming
Author: / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Parallel programming (Computer science),Electronic data processing- Distributed processing,Logic programming,Petri nets
Classification :
QA76
.
642
.
B484
2006
12. Parallel and distributed logic programming: towards the design of a framework for the next generation database machines
Author: Bhattacharya, Alakananda
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Parallel programming )Computer science(,Distributed processing ، Electronic data processing,، Logic programming,، Petri nets
Classification :
QA
76
.
642
.
B484
13. Parallel logic programming
Author: / Akikazu Takeuchi
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Parallel programming (Computer science),Logic programming
Classification :
QA76
.
642
.
T35
1992
14. Parallel logic programming
Author: / Akikazu Takeuchi
Library: Library of College of Science University of Tehran (Tehran)
Subject: Parallel programming (Computer science),Logic programming
Classification :
QA
76
.
642
.
T35
1992
15. Parallel logic programming in PARLOG : the language and its implementation
Author: Gregory, Steve.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، PARLOG )Computer program language(,، Logic programming,، Parallel programming )Computer science(
Classification :
QA
76
.
73
.
P194G74
1987
16. Parallel logic programming in parlog : the language & its implementation
Author: Gregory, Steve
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: PARLOG )Computer program language( , Logic programming , Parallel programming )Computer science(
Classification :
QA
76
.
73
.
P194
G74
17. Programming in PARLOG
Author: Conlon, Tom, 4591-
Library: Library of Niroo Research Institue (Tehran)
Subject: ، PARLOG )Computer program language(,، Logic programming,، Parallel programming )Computer science(
Classification :
QA
76
.
73
.
P194C66
1989
18. Programming language implementation and logic programming
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Parallel programming (Computer science) ► Logic design
Classification :
004
P964
